integral cos 2x dx